| emsoft | participants

Nikhil Vijay Naik

EMSOFT 2025: 25th International Conference on Embedded Software

Contract Embeddings for Layered Control Architectures

Nikhil Vijay Naik, Alessandro Pinto, and Pierluigi Nuzzo

EMSOFT 2024: 24th International Conference on Embedded Software

Contract-Based Hierarchical Modeling and Traceability of Heterogeneous Requirements

Nikhil Vijay Naik, Alessandro Pinto, and Pierluigi Nuzzo